Ratio and Weight Quantiles
نویسندگان
چکیده
Several types of weighted-automata models and formalisms to specify and verify constraints on accumulated weights have been studied in the past. The lack of monotonicity for weight functions with positive and negative values as well as for ratios of the accumulated values of non-negative weight functions renders many verification problems to be undecidable or computationally hard. Our contribution comprises polynomial-time algorithms for computing ratio and weight quantiles in Markov chains, which provide optimal bounds guaranteed almost surely or with positive probability on, e.g., cost-utility ratios or the energy conversion efficiency.
منابع مشابه
Ratio and Weight Objectives in Annotated Markov Chains
In this thesis we investigate the analysis of energy-aware systems modeled by finitestate Markov chains. We deal with Markov chains augmented with transition weights and consider objectives referring to the accumulated weight along finite paths or to the quotient of the accumulated weight of two non-negative weight functions. Beside objectives asking for linear-time properties to be fulfilled w...
متن کاملThe Effect of Education on Labor Wages in Iranian Urban Households Based on Quantile Regression
The purpose of this article is to examine the impact of education and work experience on earning. For this purpose, Mincer’s wage equation, quantile regression estimation method and the microdata from Iranian survey of household income and expenses in 2016 have been used. Estimation results show that education returns are positive in all income quantiles, and education in lower-income quantiles...
متن کاملMaternal, birth, and early-life influences on adult body size in women.
The authors conducted a follow-up study of 261 women born during 1959-1965 (38% White, 40% African-American, and 22% Latina) to investigate whether maternal and infant factors are independently associated with adult body size after accounting for childhood growth. Standard statistical methods (linear regression and logistic regression) were compared with quantile regression methods to assess th...
متن کاملBreakdown point theory for implied probability bootstrap
This paper studies robustness of bootstrap inference methods under moment conditions. In particular, we compare the uniform weight and implied probability bootstraps by analyzing behaviors of the bootstrap quantiles when an outlier takes an arbitrarily large value, and derive the breakdown points for those bootstrap quantiles. The breakdown properties characterize the situation where the implie...
متن کاملBREAKDOWN POINT THEORY FOR IMPLIED PROBABILITY BOOTSTRAP By
This paper studies robustness of bootstrap inference methods under moment conditions. In particular, we compare the uniform weight and implied probability bootstraps by analyzing behaviors of the bootstrap quantiles when outliers take arbitrarily large values, and derive the breakdown points for those bootstrap quantiles. The breakdown point properties characterize the situation where the impli...
متن کامل